$x$:${\it body}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$${\it body}$